-
1 associative calculus
Большой англо-русский и русско-английский словарь > associative calculus
-
2 associative calculus
Математика: ассоциативное исчисление -
3 associative calculus
English-Russian scientific dictionary > associative calculus
-
4 associative calculus
English-Russian information technology > associative calculus
-
5 calculus
-
6 ассоциативное исчисление
Большой англо-русский и русско-английский словарь > ассоциативное исчисление
См. также в других словарях:
associative law — noun : a law indicating immateriality in the grouping of variables; specifically : any law of the form (φRχ)Rψ=φR(χRψ) where φ, χ, ψ are variables and R a dyadic operator [as (a +b)+c=a+(b+c) in arithmetic or (pvq)vr.≡.pv( … Useful english dictionary
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Network calculus — is a theoretical framework for analysing performance guarantees in computer networks. As traffic flows through a network it is subject to constraints imposed by the system components, for example: link capacity traffic shapers (leaky buckets)… … Wikipedia
Mueller calculus — is a matrix method for manipulating Stokes vectors, which represent the polarization of incoherent light. It was developed in 1943 by Hans Mueller, then a professor of physics at the Massachusetts Institute of Technology. Light which is… … Wikipedia
Icosian Calculus — The Icosian Calculus is a non commutative algebraic structure discovered by the Irish mathematician William Rowan Hamilton in 1856. [cite book |author=Thomas L. Hankins |title=Sir William Rowan Hamilton |publisher=The Johns Hopkins University… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia